43. Domain engineering :
پدیدآورنده: Dines Bjørner.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Software engineering.
رده :
QA76
.
758
.
B558
2009
44. Domain engineering :
پدیدآورنده: Dines Bjørner.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Software engineering.
رده :
QA76
.
758
.
B558
2009
45. Embedded and Real Time System Development
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Embedded computer systems -- Programming,Software engineering,Embedded computer systems -- Design and construction,سیستمهای کامپیوتری درونهای -- برنامهنویسی,مهندسی نرم افزار,سیستمهای کامپیوتری درونهای -- طرح و ساختمان
رده :
E-Book
,
46. Engineering and scientific application programs available from non-IBM sources
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Engineering--Software--Catalogs,Science--Software--Catalogs,IBM computers--Programming,Computer software--Catalogs
رده :
TA
،
345
،.
E53
،
1983
47. Engineering theories of software construction
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
48. Engineering trustworthy software systems :
پدیدآورنده: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
50. Extreme software engineering
پدیدآورنده: / Daniel H. Steinberg and Daniel W. Palmer
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Computer software--Development,eXtreme programming,Software engineering
رده :
QA76
.
76
.
D47
S73
51. Extreme software engineering: a hands-on approach
پدیدآورنده: Steinberg, Daniel Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development ، Computer software,، Extreme programming,، Software engineering
رده :
QA
76
.
76
.
D47
S732
2004
52. Extreme software engineering: a hands on approach
پدیدآورنده: Steinberg, Daniel H.)Daniel Howard(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development,، eXtreme programming,، Software engineering
رده :
QA
76
.
76
.
D47
.
S732
2003
53. Facts and fallacies of software engineering /
پدیدآورنده: Robert L. Glass.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Software engineering.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,SOFTWARE DEVELOPMENT TOOLS.,Software Engineering,Software engineering.,Software Engineering.,SOFTWARE ENGINEERING.,SYSTEMS ENGINEERING.
رده :
QA76
.
758
.
G52
2003
55. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
56. Formalization of Programming Concepts:
پدیدآورنده: J Diaz
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
57. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
58. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده: edited by S.N. Maheshwari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
60. Functional programming for dummies /
پدیدآورنده: by John Paul Mueller.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science), Handbooks, manuals, etc.,Software engineering, Handbooks, manuals, etc.,Functional programming (Computer science),Software engineering.
رده :
QA76
.
62
.
M84
2019
